/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package cz.dusa.switco;

/**
 * @author vdusa
 */
public enum EventType{
    /** event where the equality tree will be splitted */
    SPLIT,
    /** event where two equality trees will be merged */
    MERGE,
    /** event where the equality tree should be placed (for example in its optimal position according to the cost function)*/
    FIX
}
